Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
101	APPEARED IN BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 32, Number 2, April 1995, PagesFAMILIES OF CURVES AND WEIGHT DISTRIBUTIONS OF CODES Add to Reading List Source URL: www.mat.uniroma2.it Language: English - Date: 2002-11-22 18:02:17 Mathematics Abstract algebra Algebra Finite fields Group theory Elliptic curves Number theory Analytic number theory Supersingular elliptic curve Combinatory logic Algebraic curve BCH code
102	Hybrid Session Verification through Endpoint API Generation Raymond Hu and Nobuko Yoshida Imperial College London Abstract. This paper proposes a new hybrid session verification methodology for applying session types di Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2016-08-22 17:55:56 Software engineering Computing Computer programming Adder Binary logic Computer arithmetic Objective-C Application programming interface Go
103	A syntactic approach to unification in transitive reflexive modal logics Rosalie Iemhoff∗ June 10, 2016 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2016-06-10 10:39:23 Logic Mathematical logic Abstraction Non-classical logic Modal logic Automated theorem proving Logic programming Model theory Admissible rule Substitution Unification Intermediate logic
104	Program Specialisation and Abstract Interpretation Reconciled Michael Leuschel Report CW 259, May 1998 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:03 Mathematics Geometry Algebra Incidence geometry Singularity theory Abstract interpretation Widening Logic Resultant Unfolding Oval
105	Mechanism Design by Creditability? Raphael Eidenbenz, Yvonne Anne Oswald, Stefan Schmid, and Roger Wattenhofer Computer Engineering and Networks Laboratory ETH Zurich, Switzerland Abstract. This paper attends to the pro Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:36:30 Mathematics Game theory Algorithm Mathematical logic Theoretical computer science Greedy algorithm Mechanism design Nash equilibrium
106	An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems Marco Maratea DIST, University of Genova, Viale F. Causa 15, Genova, Italy. Abstract Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-19 04:29:26 Theoretical computer science Automated planning and scheduling Logic in computer science Mathematics Computational complexity theory Boolean algebra Electronic design automation Formal methods Boolean satisfiability problem Maximum satisfiability problem Planning Domain Definition Language Satz
107	Properties of IsaCoSy’s Constraint Generation Algorithm Moa Johansson, Lucas Dixon, Alan Bundy February 16, 2010 Abstract This report states and sketches the proofs for some important properties of Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-05-28 10:14:09 Constraint programming Theoretical computer science Constraint Mathematical optimization Exact cover Logic programming Software engineering Cognitive science Constraint logic programming First class constraint
108	The Whiley Rewrite Language (WyRL) David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Abstract Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2015-08-18 20:05:39 Software engineering Programming language theory Computer programming Logic in computer science Formal languages Procedural programming languages Subroutines Computability theory Rewriting Recursion Whiley ALGOL 68
109	Extending partial deduction to tabled execution: some results and open issues Konstantinos Sagonas and Michael Leuschel ACM Computing Surveys, Vol. 30, No. 3es, September 1998 Article 16 Permission to make digital/hard c Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:04 Software engineering Computer programming Computing XSB Prolog Logic programming Partial evaluation Mathematical logic Logic Deductive database Abstract interpretation ECL programming language
110	Advances in Cognitive SystemsSubmitted; publishedExploiting Graph Structure to Abstract & Compress Relational Data Add to Reading List Source URL: www.cogsys.org Language: English - Date: 2016-06-16 21:32:57 Graph theory Mathematics Discrete mathematics Line graph Graph Directed graph First-order logic Ear decomposition

UPDATE